University research Group in Berlin, Germany (Technical University). Overview of research, publications, staff, teaching and information on the algebraic programming language Opal.
A Scheme interpreter implemented as a library which can be embedded into C programs, as well as a standalone interpreter. Mostly R5RS, Guile compatible, and includes regular expressions and most Posix functions.
Researches programming environment where advanced language concepts and formal development methods are used to make production-quality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ML, Haskell, and other modern FLs. B...